221. Logic and program semantics
پدیدآورنده : Robert L. Constable, Alexandra Silva (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic,Computer programming,Software engineering
رده :
QA76
.
9
.
L63
L64
2012eb
222. Logic-based methods for optimization :
پدیدآورنده : John Hooker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linear programming.,Logic, Symbolic and mathematical.,Mathematical optimization.
رده :
T57
.
74
J646
2000
223. Logic-based methods for optimization: combining and constraint satisfaction
پدیدآورنده : John Hooker
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
224. Logic-based methods for optimization: combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
225. Logic-based methods for optimization : combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H6
226. Logic-based program synthesis and transformatio
پدیدآورنده : / Annalisa Bossi (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic programming--Congresses
رده :
QA
,
76
.
63
.,
I57
,
2000
227. Logic based program synthesis and transformation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ;
228. Logic based program synthesis and transformation
پدیدآورنده : / Alberto Pettorossi, ed
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic programming--Congresses
رده :
QA
,
76
.
63
,.
I57
,
2001
RC
,
458
,.
S43
229. Logic based program synthesis and transformation :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ;
230. Logic-based program synthesis and transformation
پدیدآورنده : Elvira Albert (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
رده :
QA76
.
63
.
L67
2012
231. Logic based program synthesis and transformation
پدیدآورنده : / Patricia M. Hill (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic programming--Congresses
رده :
QA
,
76
.
63
,.
L69
,
2005
232. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
233. Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
پدیدآورنده : Sandro Etalle )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3573
234. Logic based program synthesis and transformation :11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
پدیدآورنده : Alberto Pettorossi, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2372
235. Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
پدیدآورنده : Pierre Flener )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1559
236. Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
پدیدآورنده : Annalisa Bossi )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1817
237. Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
پدیدآورنده : Maurice Bruynooghe )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3018
238. Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
پدیدآورنده : Kung-Kiu Lau )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2042
239. Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedings
پدیدآورنده : Michael Leuschel )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2664
240. Logic for applications
پدیدآورنده : Nerode, Anil, 2391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
N47
